Z-Library پر تلاش کریں Martin Wirsing (eds.):

فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024 فنڈ ریزنگ کے بارے میں

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

فنڈ ریزنگ 15 ستمبر، 2024 – 1 اکتوبر، 2024

Z-Library دنیا کی سب سے بڑی آن لائن لائبریریوں میں سے ایک ہے جس میں 17,000,000 سے زیادہ کتابیں اور 84,837,000 سے زیادہ مضامین ہے۔ ہمارا مقصد ادب کو ہر کسی کے لیے قابل رسائی بنانا ہے۔ آج (15 ستمبر، 2024) ہم نے پروجیکٹ کی دیکھ بھال اور ترقی کے لئے اضافی فنڈ ریزنگ شروع کردی ہے.

اس کے علاوہ لامحدود ڈاؤنلوڈز (ڈانیشن کرنے کے دن کے بعد 31 دن کے لیے) تمام شراکت داروں کے لیے دستیاب ہیں جو کہ فنڈ ریزنگ کی مدت کے دوران 1 اکتوبر، 2024 تک ڈانیشن کریں گے.

فنڈ ریزنگ کے بارے میںیہاں مزید پڑھیں

عطیہ کریں

کتابیں (37)
سب سے مشہور
فہرست
- فہرست
- جدول

1

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Springer International Publishing

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.)

سال:

2015

زبان:

english

فائل:

PDF, 23.55 MB

0 / 0

english, 2015

2

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 3.54 MB

0 / 0

english, 2008

3

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 13.23 MB

0 / 0

english, 2011

4

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 9.09 MB

0 / 0

english, 2009

5

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 8.68 MB

0 / 0

english, 2003

6

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

سال:

1992

زبان:

english

فائل:

DJVU, 4.27 MB

0 / 0

english, 1992

7

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 3.79 MB

0 / 0

english, 2004

8

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 9.22 MB

0 / 0

english, 2008

9

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 17.12 MB

0 / 0

english, 2011

10

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 4.80 MB

0 / 0

english, 2003

11

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 5.23 MB

0 / 0

english, 2010

12

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 11.77 MB

0 / 5.0

english, 2004

13

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Springer International Publishing

Songmao Zhang, Martin Wirsing, Zili Zhang (eds.)

سال:

2015

زبان:

english

فائل:

PDF, 41.53 MB

0 / 0

english, 2015

14

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

C. P. Schnorr (auth.), Robert Cori, Martin Wirsing (eds.)

سال:

1988

زبان:

english

فائل:

DJVU, 4.89 MB

0 / 0

english, 1988

15

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

سال:

1983

زبان:

english

فائل:

PDF, 10.65 MB

0 / 0

english, 1983

16

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

سال:

2005

زبان:

english

فائل:

PDF, 5.67 MB

0 / 0

english, 2005

17

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

سال:

1983

زبان:

english

فائل:

DJVU, 3.71 MB

0 / 0

english, 1983

18

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)

سال:

1989

زبان:

english

فائل:

DJVU, 5.38 MB

0 / 0

english, 1989

19

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

سال:

1991

زبان:

english

فائل:

DJVU, 6.59 MB

0 / 0

english, 1991

20

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 13.54 MB

0 / 0

english, 2011

21

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 3.80 MB

0 / 0

english, 2012

22

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)

سال:

1995

زبان:

english

فائل:

DJVU, 3.92 MB

0 / 0

english, 1995

23

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

سال:

1987

زبان:

english

فائل:

DJVU, 4.38 MB

0 / 0

english, 1987

24

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

سال:

1991

زبان:

english

فائل:

DJVU, 5.26 MB

0 / 0

english, 1991

25

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 14.97 MB

0 / 0

english, 2009

26

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 4.77 MB

0 / 0

english, 2003

27

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

سال:

1991

زبان:

english

فائل:

PDF, 11.97 MB

0 / 0

english, 1991

28

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

سال:

2013

زبان:

english

فائل:

PDF, 6.84 MB

0 / 0

english, 2013

29

Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project

Springer-Verlag Berlin Heidelberg

Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)

سال:

1991

زبان:

english

فائل:

DJVU, 2.20 MB

0 / 0

english, 1991

30

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

سال:

1987

زبان:

english

فائل:

PDF, 9.86 MB

0 / 0

english, 1987

31

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.)

سال:

1996

زبان:

english

فائل:

DJVU, 6.79 MB

0 / 0

english, 1996

32

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

سال:

1991

زبان:

english

فائل:

PDF, 11.76 MB

0 / 0

english, 1991

33

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 3.89 MB

0 / 0

english, 2012

34

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 8.47 MB

0 / 0

english, 2004

35

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

سال:

2005

زبان:

english

فائل:

PDF, 5.89 MB

0 / 0

english, 2005

36

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 5.18 MB

0 / 0

english, 2010

37

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 6.52 MB

0 / 0

english, 2003